Nuprl Lemma : false_wf
12,41
postcript
pdf
False
latex
ProofTree
Definitions
False
,
,
t
T
origin
T